1. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Algebraic recursion theory
پدیدآورنده : Ivanov, Ljubomir Lalov, 2591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
I93
4. Algebraic recursion theory /
پدیدآورنده : L.L. Ivanov ; editor, Dr. J.L. Bell
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Recursion theory
رده :
QA9
.
6
.
I93
1986
5. Algorithm design : a recursion transformation framework
پدیدآورنده : Paull, Marvin C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
6. Algorithmics :
پدیدآورنده : Gilles Brassard and Paul Bratley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
7. Algorithmics
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: (Mazandaran)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
8. Algorithmics : Theory and practice
پدیدآورنده : / Gilles Brassard, Paul Bratley
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Recursion theory,Algorithems
رده :
QA9
.
6
.
B73
1988
9. Algorithmics : theory and practice
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
10. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilless
موضوع : ، Recursion theory,، Algorithms
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
11. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
12. Algorithmics:theory and practice
پدیدآورنده : BRASSAARD,GILLES
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
13. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
14. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
15. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
16. Aspects of incompleteness
پدیدآورنده : Lindstrom, Per, 6391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Incompleteness theorems,، Recursion theory
رده :
QA
9
.
A1L44
Vol
.
10
17. Aspects of incompleteness
پدیدآورنده : / Per Lindstrom
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Incompleteness theorems,Recursion theory
رده :
QA
9
.
65
.
L56
1997
18. Bounded queries in recursion theory
پدیدآورنده : Gasarch, William I.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computational complexity,، Recursion theory
رده :
QA
267
.
7
.
G3
19. Cabal Seminar 77-79 : Proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده : edited by A. S. Kedris, D. A. Martin, and Y. N. Moschovakis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
839
20. Cabal Seminar 81-85 : Proceedings, Caltech-UCLA Logic Seminar 1981-85
پدیدآورنده : A. S. Kechris, D. A. Martin, J. R. Steel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1333
